#pragma once
#include "rp2040_reg.h"

void gpio_set(__IO uint32_t gpio, __IO uint32_t value) ;
void led_init();
void led_flash_loop();